The Markov Analyzer MOSES

In this paper the Markov analyzer MOSES (MOdelling, Speci cation and Evaluation of Computer Systems) and the model description languageMOSLANG { both developed at the Institute for Operating Systems at the University of Erlangen{Nuernberg { are described using two examples. To evaluate the performance of a computer system the system has to be specied. In this paper the model description language MOSLANG is introduced and applied to some examples. The core of MOSLANG consists of constructions suitable for the speci cation of the possible states of the system and of RULE constructions which model the state transitions. This speci cation method is much more compressed than other comparable methods and enables the user to specify large systems when he has become familiar with MOSLANG. The Markov analyzer MOSES facilitates the input of MOSLANG and subsequently creates the Markovian system of equations automatically. For solving this system of equations ve di erent methods are provided. MOSES calculates the state probabilities and derives from them the performance measures which are speci ed using MOSLANG. MOSES has been used for the solution of many di erent problems, among others for analyzing and comparing different multiprocessor versions of the operating system UNIX. MOSES is implemented in the programming language C and runs on all UNIX systems.